логіка конструктивна

логіка конструктивна
ЛОГІКА КОНСТРУКТИВНА - напрям математичної логіки, в якому досліджуються міркування про об'єкти та їхні властивості, для яких існують способи побудови чи перевірки їх існування.

Філософський енциклопедичний словник / НАН України, Ін-т філософії ім. - К. : Абрис (Бібліотека Державного фонду фундаментальних досліджень). . 2002.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "логіка конструктивна" в других словарях:

  • 25.040.40 — Вимірювання та керування технологічними процесами ГОСТ 4.301 85 СПКП. Установки, приборы, устройства, блоки, модули функциональные агрегатных средств контроля и регулирования. Номенклатура показателей ГОСТ 12.2.064 81 ССБТ. Органы управления… …   Покажчик національних стандартів


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»